/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package simhya.model.transition;

import simhya.model.store.Predicate;
import java.util.ArrayList;

/**
 *
 * @author Luca
 */
public class ContinuityStatus {
    private Predicate predicate;

    public ContinuityStatus(Predicate p) {
        this.predicate = p;
    }

    /**
     *
     * @return the list of variables invoved in the definition of the predicate
     */
    public ArrayList<Integer> getVariableList() {
        return predicate.getVariableList();
    }

  

    /**
     *
     * @return true if the transition has to be treated as continuous and deterministic,
     * false if it has to be treated as discrete and stochastic
     */
    public boolean isContinuous() {
        return this.predicate.evaluate();
    }


    public Predicate getPredicate() {
        return this.predicate;
    }
}
